منابع مشابه
Cs 6110 S11 Lecture 24 2 an Ordering on Domains
To develop a denotational semantics for a language with recursive types, or to give a denotational semantics for the untyped lambda calculus, it is necessary to find domains that are solutions to domain equations. Given some domain constructor F(D), we need to be able to solve for the domain D satisfying the isomorphism: D ∼ = F(D) We have seen some strategies for solving such equations earlier...
متن کاملlaming CtS
A number of researchers have investigated the use of planbased approaches to generate textual explanations (e.g., Appelt 1985; Hovy 1988; Moore 1989; Maybury 1990b). This paper extends this approach to generate multimedia explanations by defining three types of communicative acts: linguistic acts (illocutionary and locutionary speech acts), visual acts (e.g., deictic acts), and mediaindependent...
متن کاملThreshold Behaviour of Meson-Nucleon-S11(1535) Vertexfunctions and Determination of the S11(1535) Mixing Angle
A new method for the determination of the spin-1/2-3/2-mixing angle and the range parameter of the quarkmodel wavefunction of the resonance S− 11 (1535) is presented. The method ist based on a quantitative calculation of the total cross section of pp → ppη at threshold. The quantitative on-shell treatment of ISI and FSI is discussed.
متن کاملAbnormalities of Megakaryocytes in Sl/S11’ Mice
Megakaryocytopoiesis was evaluated in size. Numbers of megakaryocytes in bone SI/SId mice and their heterozygous and marrow and spleen were reduced, but homozygous normal ( +1+) littermates. individual megakaryocytes were larger SI/SId mice had a normal concentration than normal. of blood platelets which were of normal T HE MICROENVIRONMENT has been shown to influence hematopoietic cell differe...
متن کاملS11-01 Neural circuit formation in zebrafish
Whole animal behaviors require precise wiring of the nervous system. Yet how neuronal wiring translates into defined behaviors is not well understood. To study the interplay between nervous system development and behavior, we focus on neuronal wiring (axonal guidance and synapse formation) controlling defined motor behaviors. In genetic screens for motor axon guidance and synapse formation, we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Clinical Neurophysiology
سال: 2019
ISSN: 1388-2457
DOI: 10.1016/j.clinph.2019.06.113